(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const v9 Bool)
(declare-const v10 Bool)
(declare-const v11 Bool)
(declare-const i6 Int)
(declare-const i13 Int)
(declare-const r0 Real)
(declare-const r9 Real)
(declare-const arr (Array Int Int))
(assert v3)
(assert (or (= i6 i13) (distinct 69088.0658 r9 0.0 r0 0.25127106) (< 52 24) (distinct v1 (and v7 v4 v7 v5 v8 v0 v4 v2 v8 v11) (= arr arr arr arr) v10 v11 v5 v10 (distinct 69088.0658 r9 0.0 r0 0.25127106) v10 v9 (>= 52 i13)) v8))
(push)
(assert v11)
(check-sat)
